Processes are in the Eye of the Beholder
نویسنده
چکیده
This work may not be copied or reproduced in whole or in part for any c o m-mercial purpose. Permission to copy in whole or in part without payment o f f e e i s g r a n ted for nonproot educational and research purposes provided that all such whole or partial copies include the following: a notice that such copying is by permission of the Systems Research Center of Digital Equipment Corporation in Palo Alto, Californiaa an acknowledgment o f t h e authors and individual contributors to the workk and all applicable portions of the copyright notice. Copying, reproducing, or republishing for any other purpose shall require a license with payment of fee to the Systems Research Center. All rights reserved. iii iv Author's Abstract A t wo-process algorithm is shown to be equivalent t o a n N-process one, illustrating the insubstantiality of processes. A formal equivalence proof in TLA (the Temporal Logic of Actions) is sketched.
منابع مشابه
Equivalence is in the Eye of the Beholder
We analyze in what sense the two algorithms are and are not equivalent. There is no one notion of equivalence appropriate for all purposes and thus the \insubstantiality of processes" may itself be in the eye of the beholder. There are other issues where we disagree with Lamport. In particular, we give a direct equivalence proof for two programs without representing them by means of temporal fo...
متن کاملEye-Tracking Method’ Usage for Understanding the Cognitive Processes in Multimedia Learning
Introduction: Designing multimedia learning environments should consist of the evidence-based study and principals about the human learning process. Eye tracking is a way based on the learner processing of learning materials which presented in multimedia learning environments. The aim of the study was to examine the use of the eye-tracking method to investigate the cognitive processes in m...
متن کاملIn the Eye of the Beholder: Motivational Effects of Gender Differences in Perceptions of Teachers
متن کامل
What Makes Something "Ad Hoc"
We are all familiar with the phrase "beauty is in the eye of the beholder." In this case we have an instance of "the disease is in the eye of the beholder" which of course explains whY the cure is so elusive. The beholder rarely wants to do anything about it. To discuss this more subjectively, let's take a neutral case. Before doing so, we shall have to point out what a case can be expected to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 179 شماره
صفحات -
تاریخ انتشار 1997